21. Aristotle's modal syllogistic /
المؤلف: Marko Malink
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Aristotle,Aristotle., Prior analytics,Logic, Ancient,Modality (Logic),Predicate (Logic),Syllogism
رده :
B491
.
L8
M35
2013
22. Arrow logic and multi-modal logic
المؤلف: edited by Maarten Marx, Laszlo Polos, and Michael Masuch
المکتبة: (طهران)
موضوع: ، Logic,، Modality )Logic(
رده :
BC
71
.
A77
23. Aspects of Aristotle's logic modalities
المؤلف: Rijen, Jeroen Van, 0591-
المکتبة: (طهران)
موضوع: ، Aristotle, 383 B.C. - 123 B.C.,، Modality )Logic(
رده :
B
491
.
L8R55
1989
24. Aspects of aristotle's logic of modalities
المؤلف: / Jeroen Van Rijen
المکتبة: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع: Aristotles-contribuions in logic of modalities,Modality(logic)
رده :
166
R5725a
25. Aspects of aristotle's logic of modalities
المؤلف: / Jeroen Van Rijen
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Aristotle - Contributions in logic of modalities,Modality (Logic)
رده :
B491
.
L8R55
1989
26. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
المؤلف: Wallen, Lincoln A.
المکتبة: (طهران)
موضوع: ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
رده :
QA
9
.
54
.
W35
1990
27. Being necessary :
المؤلف: edited by Ivette Fred-Rivera and Jessica Leech.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Hale, Bob,1945-Essays., Selections.,Modality (Theory of knowledge),Ontology.,Philosophy.,Modality (Theory of knowledge),Ontology.,PHILOSOPHY-- Epistemology.,Philosophy.
رده :
BD218
.
5
.
B45
2018
28. Between saying and doing :towards an analytic pragmatism
المؤلف: Brandom, Robert.
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Pragmatism,، Analysis )Philosophy(
رده :
B832
.
B67
2008
29. Causality,method and modality=essays in honor of Jules Vuillemin:with a complete bibliography of Jules Vuillemin
المؤلف: / Edited by Grodon G.Brittan
المکتبة: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع: Causation,Philosophy,Vuillemin Jules
رده :
120
B862c
30. Coherent systems
المؤلف: / Karl Schlechta
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Nonmonotonic reasoning,Algebraic logic,Semantics- Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
31. Coherent systems
المؤلف: / Karl Schlechta
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Nonmonotonic reasoning,Algebraic logic,Semantics, Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
32. Communication and Meaning :
المؤلف: by Andrew J.I. Jones.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Linguistics -- Philosophy.,Logic.,Philosophy (General)
رده :
P90
.
B936
1983
33. Computational pathology and ophthalmic medical image analysis :
المؤلف: Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu et al. (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Eye-- Imaging, Congresses.,Pathology-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Pattern Recognition.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.,Pathology-- Data processing.,Pattern recognition.
رده :
RB38
34. Conditionals and Modularity in General Logics
المؤلف: / Dov M. Gabbay, Karl Schlechta
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
رده :
BC199
.
C56
,
G32
2011
35. Constructibility and mathematical existence /
المؤلف: Charles S. Chihara.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Constructive mathematics.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Logique symbolique et mathématique.,Mathématiques constructives.,Mathématiques-- Philosophie.,Constructieve wiskunde.,Constructive mathematics.,Filosofia da matemática.,Filosofie.,Logic, Symbolic and mathematical.,Lógica matemática.,Matemática construtiva.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Mathematics-- Philosophy.,Ontologie (filosofie)
رده :
QA8
.
4
.
C45
1990eb
36. Content and modality
المؤلف: / edited by Judith Thomson and Alex Byrne
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Stalnaker, Robert.,Modality (Logic),Logic.,Language and languages--Philosophy
رده :
BC
,
199
,.
M6
,
C65
,
2006
37. Content and modality
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Stalnaker, Robert. ; Modality (Logic) ; Logic. ; Language and languages ; Philosophy. ;
38. Continuity in linguistic semantics
المؤلف: edited by Catherine Fuchs, Bernard Victorri.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Continuity.,Linguistic models.,Semantics.
رده :
P325
.
C57
1994eb
39. Continuity in linguistic semantics
المؤلف: edited by Catherine Fuchs, Bernard Victorri.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Continuity.,Linguistic models.,Semantics.
رده :
P325
.
C57
1994eb
40. Contribute a Verse :
المؤلف: Tanya Long Bennett, Donna Gessell, Diana Edelman-Young, Chris Bell, David Brauer, Steven Brehe, Shannon Gilstrap, Laura Ng, J. Stephen Pearson, J. Michael Rifenburg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Language arts.,LANGUAGE ARTS & DISCIPLINES-- General.,Language arts.
